A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions
نویسندگان
چکیده
Issues of multidatabase transaction management within the Web are addressed. After examining the nature of the problem and reviewing current solutions, we argue that the classic ACID test of transaction correctness is not appropriate for Web transactions and propose new criteria based on SACReD properties. A new Web Transaction Model (WebTraM), based upon open and closed nested transaction models, is proposed and formally specified. Preliminary analysis demonstrates performance improvements over other Web transaction management methods.
منابع مشابه
Global Commitment in Multidatabase Systems
Won Kim UniSQL, Inc. 9390 Research Blvd. Austin, TX 78759 In this paper, we investigate the reliability aspects of transaction processing in multidatabase systems from a formal point of view. We define a new correctness notion called global commitment (GC) for reliable transaction processing in a multidatabase environment in which local DBMSs may not support the prepared state of the two phase ...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملRecovery in Multidatabase Systems
A multidatabase consists of a collection of autonomous local databases. Systems used to manage multidatabases are called multidatabase systems (MDBSs). In such a system, global transactions are executed under the control of the MDBS. Independently, local transactions are submitted directly to a local DBS (LDBS) by local applications. An MDBS should provide a mechanism to globally manage transac...
متن کاملSubmission of Transactions from Mobile Workstations in a Cooperative Multidatabase Processing Environment
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before disconnecting from the network. In this paper, a basic architectural framework to support transaction management in multidatabase systems is proposed and discussed. A simple Message and Queuing Facility is suggested whi...
متن کاملEnsuring Recovery for SACReD Web Transactions in the E-commerce Applications
This paper presents an extension to a novel Web transaction management protocol, previously defined for a failure-free environment, such that it provides reliable recovery from failure in e-commerce applications. This protocol manages complex Web transactions upon multiple distributed Web services, and overcome limitations of two-phase commit protocols by applying correctness criteria based upo...
متن کامل